x,y
L.P(x;y)) == i:
||L||, j:i. P(L[j];L[i])
clarification:
(
x,yL.P(x;y)) == i:{0..||L||
}, j:{0..i}. P(L[j];L[i]) | 0,22 |
x,yL.P(x;y)) == i:||L||, j:i. P(L[j];L[i])
x,yL.P(x;y)) == i:{0..||L||}, j:{0..i}. P(L[j];L[i])
| Definitions | }x:A. B(x)x,yL.P(x;y)) |
| FDL editor aliases | pairwise |